根据史料记载，匈牙利人在（）首先将黑火药用于开采矿石。