If Carlos needs to output a raster image, which file format should he use?