Disciplined Geodesically Convex Programming