Labor Pooling as a Source of Industrial Agglomeration―The Case of the Japanese Manufacturing Industries―