A tunable cavity-locked diode laser source for terahertz photomixing