GIF to WebP Conversion: Animated WebP Is Smaller and Better