Full Waveform Inversion with Salvus