Microsoft's Topological Quantum Computer Explained