Statistics for Active Learning with Semi-Supervised Support Vector Machines