mining and industrial