What Is MIDI? An Overview