Implicit function theorem in Carnot-Caratheodory spaces