A progress variable model for fast combustion of H2 and CO in large confined atriums with inhomogeneous mixtures of multiple gases