A computational non-commutative geometry program for disordered topological insulators. (2017)