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