What is WebAssembly? The next-generation web platform explained