Diagnostic verification of the GLAS general circulation model as applied to a case of extratropical maritime explosive cyclogenesis