Subduction-zone structure and magmatic processes beneath Costa Rica constrained by local earthquake tomography and petrological modelling