A Short History of Midi