Changes in ground-water quality resulting from surface coal mining of a small watershed in Jefferson County, Ohio