A compilation of patterns and best practices for the smart contract programming language Solidity