Mechanism design for efficient offline and online allocation of electric vehicles to charging stations