Extension of Functions on Carnot Groups