Modeling the KrF laser discharge