Which of the following is a commonly used file format for images?