A revision of the cichlid fish genus Petrochromis from Lake Tanganyika, with description of a new species