Local properties of variational solutions for the two-obstacle problem involving square Hörmander operators