Over 5,000 African migrants rescued at sea