Theory of Quantum Dot Lasers