An Empirical Investigation on the Trade-off between Smart Contract Readability and Gas Consumption