EU agrees to triple budget to end migrant deaths at sea