Decarbonizing travel in cities with electrified autonomous taxis