Optimal Energy Trading with Demand Responses in Cloud Computing Enabled Virtual Power Plant in Smart Grids