Neural Active Learning with Performance Guarantees