要放在电视上播的视频文件应该是什么格式？