Quantifying the impact of connected and autonomous vehicles on traffic efficiency and safety in mixed traffic.