i was on a website, and they had a list of difforent file formats you could download video in, one was MPEG2, MPEG4, MP4. Is MP4 same thing as MPEG4?