A proposal for a standard way of creating music sequence data in JSON