Modeling Human Driver Behavior: A Koopman Theory Approach