EU welcomes cease-fire in Gaza