Which file extension is commonly used for Microsoft Word documents?