Quantum cascade semiconductor lasers