Which of the following formats is typically used for images on the web?