PEV charging control for a parking lot based on queuing theory