Mechanism design for efficient allocation of electric vehicles to charging stations