“Mining is the art of exploiting mineral deposits at a profit. An unprofitable mine is fit only for the sepulcher of a dead mule.”