Measurement of frequency spectrum of submillimeter-wave gyrotron output using Michelson interferometer