Electric Vehicle Charging Scheduling using Branch and Cut Algorithm