Measurement of the energy spectrum of underground muons at Gran Sasso with a transition radiation detector