Policy implications of the potential carbon dioxide (CO2) emission and energy impacts of highly automated vehicles