The Local Index Formula in Noncommutative Geometry