Scaling through abstractions - high-performance vectorial wave simulations for seismic inversion with Devito.