Mining and heavy industry