What is the difference between the various video file extensions - .avi,
..dat, .mpeg etc.? I notice .avi files take up a considerably larger space
compared to .dat for example.