Which file extension is commonly used for a text document?