Trumpet pedal tones: their history and pedagogical uses