A HTML5 prototype game for teaching music notation through a platform game environment