Development of Terahertz Quantum-Cascade Lasers for Satellite-Borne Measurement of Key Gas Species