Did you know that during the Industrial Revolution , the Welsh coal industry was at the forefront of the development of new mining technologies ?