US industrial production for mining