SmartRE : Insured and Tokenized Real Estate on the Blockchain