[math-fun] Turning piano rolls into MIDI files