Time-Lapse Seismic Imaging, Full-waveform Inversion, and Uncertainty Quantification