Hidden invariant convexity for global and conic-intersection optimality guarantees in discrete-time optimal control