Batalin-Vilkovisky formalism in topological quantum field theory