Carbon sequestration monitoring with acoustic double-difference waveform inversion: A case study on SACROC walkaway VSP data