public gem mining in ohio