video – コーデック（DivXなど）とは何か、ファイル形式（MPGなど）との違いは？