REGULARITY FOR THE SOLUTIONS OF DOUBLE OBSTACLE PROBLEMS INVOLVING NONLINEAR ELLIPTIC OPERATORS ON THE HEISENBERG GROUP