Monitoring and modelling CO2 injection at Sleipner