Design and modeling of a single-balanced high-Tc superconducting Josephson-junction terahertz mixer