They are mined from rock formations deep inside the earth called pipes.

• 它们是从地球深处叫作管子的岩层中开采出来的。