A Model and Algorithm for a Car Insurance System Using Machine Learning and Distributed Ledger Technology | Synapse