Inferring migration of CO2 plume using injection data and a probabilistic history matching approach