A brief history of the distortion pedal in music