Mathematics and physics of topological quantum field theory