根据史料记载，黑火药传入欧州后，()首先将黑火药用于开采矿石。