Terahertz GaAs/AlAs quantum-cascade lasers