The JPEG XL Image Coding System