Bift: A Blockchain-Based Federated Learning System for Connected and Autonomous Vehicles