Extraction of layer-specific seismic velocity in a porous medium through seismic interferometry applied to ultrasonic measurements of CO2 sequestration