Text this: Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review