Public charging infrastructure and the market diffusion of electric vehicles