What is the definition of heavy industry?