Drainage of a deep magma reservoir near Mayotte inferred from seismicity and deformation