What file extension is commonly used for Word documents?