Distributed efficient charging coordinations for electric vehicles under progressive second price auction mechanism.