Semiclassical BV-BFV approach to general relativity