EU welcomes UN-brokered cease-fire in Libya’s Tripoli