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