What Are Ricardian Contracts and How Will EOS Enable Them?