Semi-supervised Batch Active Learning via Bilevel Optimization