Blockchain-Based Internet of Vehicles in Green Smart City: Applications and Challenges and Solutions