X. Chen, F. Burnell, A. Vishwanath, and L. Fidkowski. (2014)cite arxiv:1403.6491Comment: 18 pages + 3 pages appendices. v2: added section on identifying the SPT order from nontrivial loop statistics in the 3D bulk with projective semion surface state.