Semiclassical approximation in Batalin-Vilkovisky formalism