Computational Models of Human-Automated Vehicle Interaction