Four-dimensional topological quantum field theories