Statistics of Mines and Mining