sanayi devriminde madencilik