Higher dimensional algebra and topological quantum field theory