Global minima for semilinear optimal control problems