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