industrial-revolution-definition