I've been using Garageband to edit MIDI but it's not very easy and you can't export. Any suggestions?