Topological Insulators from the Perspective of Non-commutative Geometry and Index Theory