Improving performance of spectral-element based geoscience simulations by combining low-level optimizations into high-level abstractions