The MIDI Manual: A Practical Guide to MIDI within Modern Music Production