Heterotic Sigma Models Via Formal Geometry And Bv Quantization