International classification of hard coals by type. (1956)