Intrafirm resource reallocation and labor productivity growth in the Japanese coal mining industry: Comparative study on Mitsubishi Mining Co., Mitsui Mining Co., and Hokkaido Colliery & Steamship Co. in the 1930s