Crews of miners used hand tools like air-powered chisels and shovels to carve sand ... unusual mineral resource – common sand – for an unconventional mining operation.