Remediating History: A Review of Restoration for Creeks Polluted from Historical Mining Sites, with the Red Boy Mine as a Primary Case Study