midi—a digital standard for recording and playing musical notes by sending instrument-control data between devices