De efficiëntie van autonome auto's bij het verminderen van het verkeer