Title: Manpower and technology in bituminous coal mining, 1956-70