Quantitative analysis of time-lapse seismic monitoring at the Sleipner CO 2 storage operation