Introducing Brotli: a new compression algorithm for the internet