Why did Syria withdraw its troops from Lebanon?