An agent-based negotiation scheme for the distribution of electric vehicles across a set of charging stations