What is the file extension for a Microsoft Word document?