An introduction to the Web Audio API