Title: Productivity in Soviet coal mining, 1928-64