Nomenclatural revision of the names of Celtis (Cannabaceae) described for Africa, and lectotypification of one Asian name