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