Which of the following file formats is commonly used for images?