世界矿产有多少种