Regular Hypersurfaces, Intrinsic Perimeter and Implicit Function Theorem in Carnot Groups