Stabilization of nonholonomic integrators via logic-based switching