What file extension is typically used for Microsoft Word documents?