publicações selecionadas spyro: a Firedrake-based wave propagation and full-waveform-inversion finite-element solver