What file extension is commonly used for text documents?