Harmonic mixing and frequency measurement at 2.5 THz using Josephson junctions