A tsunami generated by a strike-slip event: constraints from GPS and SAR data on the 2018 Palu earthquake