Learning a Safety Verifiable Adaptive Cruise Controller from Human Driving Data