2 - What is a MIDI file?