Gas Fees on Ethereum: Incentivizing Efficient Coding and Optimization