Which file extension is used for Microsoft Word documents?