GaAs/Al0.15Ga0.85As terahertz quantum cascade lasers with double-phonon resonant depopulation operating up to 172 K