An empirical stream power formulation for knickpoint retreat in Appalachian Plateau fluviokarst