Joint Committee on British Petrographic Nomenclature.