Statistics of Industrial demand-side flexibility: A key element of a just energy transition and industrial development