The Mathematics of Topological Quantum Computation