From mining, you usually get rocks. There should be a rock processor that allows you to turn those rocks into minerals. This would be very convenient for crafting.