What is MIDI? The history and the importance for producers