Maximum and comparison principles for convex functions on the Heisenberg group