Vehicle to Cloud: Big Data for Environmental Sustainability, Energy, and Traffic Management