What Is a DOT File and How to Convert It to PDF