The JPEG XL Image Coding History, Features, Coding Tools, Design Rationale