SmartAHS: A simulation framework for automated vehicles and highway systems