Tips for Learning Smart Contract Auditing