Comprehensive modeling of semiconductor lasers including the effect of gain saturation