Topological Field Theory of Time-Reversal Invariant Insulators — arXiv2