Numerical Modeling of Time-Lapse Seismic Experiments to Monitor CO2 Sequestration in a Layered Basalt Reservoir