An Overview on Control Algorithms for Automated Highway Systems