地球上已知的矿石大约有多少种