What is the default file extension for a Microsoft Word document?