What Is MIDI and What Are MIDI Files?