Monte Carlo Anti-Differentiation for Approximate Weighted Model Integration