How to edit MIDI notes in GarageBand for iOS