Application of Smart Contracts in the Reinsurance Industry