High-Tc superconducting Josephson mixers for terahertz heterodyne detection