what are the different image file formats and when is the best time to use them