Smart Contract Upgradability | Proxy Patterns in Solidity