How JPEG XL compares to other image codecs