How Spotify Saved $18M With Smart Compression (And Why Most Teams Get It Wrong)