The coal-mining industry of the U.S.S.R.; [report by a technical delegation of the National Coal Board, July 1963