What file extension is used for a Microsoft Word document?