How VeriFood’s Smart Contract Food Verification System Hacked the Microsoft Challenge at the 2018 Consensus Hackathon