Jpegli: a new JPEG to make the internet faster and more beautiful ...