Boat carrying migrants sinks off Libyan coast east of Tripoli, at least 40 killed