An approximate dynamic programming approach for coordinated charging control at vehicle-to-grid aggregator