La aplicación del convenio europeo de derechos humanos a las operaciones de salvamento y rescate de migrantes en alta mar