What type of file is typically used for text documents?