Geology and mineral resources of Washington County, Ohio