Variational Full-waveform Inversion