What Ohio Law Says About Mining and Environmental Protection