how mining improved during industrial revolution in europe