Data Shapley Valuation for Efficient Batch Active Learning