Typically how much does it cost to drain and dig out a pond?