What Is an MP4 File (and How Do I Open One)?