The discovery of aniline and the origin of the term “aniline dye”