Advanced Mechanism Design for Electric Vehicle Charging Scheduling in the Smart Infrastructure