Geometric integrators and nonholonomic mechanics