An HTML5 map editor for the RoboMind educational game