Maximum and Comparison Principles for Convex Functions on the Heisenberg Group