Which of the following File Formats is a lossless File Format that was intended to replace GIF by adding extra features?