Closed string field theory: Quantum action and the Batalin-Vilkovisky master equation