Protocol Buffers for the web