eu approves $35b synopsys-ansys merger with key divestment conditions