Ethereum Smart Contracts and Insurance: Problems and Solutions