Using PHP to manipulate and create MIDI ringtones