A technique used in mining to extract minerals from the earth by drilling a hole and extracting the mineral from the surrounding rock.