Batalin–Vilkovisky algebra