A game-theory approach identifies which policy could support autonomous vehicles’ market penetration—and environmental benefits