Semiconductor Laser Theory