mining and heavy industry