Что такое расширение файла и зачем оно нужно?