Productivity of underground coal workings (United Nations, 1965)