Learning-Based Methods for Comparing Sequences, with Applications to Audio-to-MIDI Alignment and Matching