What is the file extension for Microsoft Word documents?