What are the best settings in Photoshop to get a high-quality animated GIF in a small file size? For a given scene, why does an animated GIF have a much bigger file size than its video source (e.g. in MP4 format)?