International provisions on the protection of migrants at sea