Terminalia (Combretaceae) in northern tropical Africa: Priority and typification of T. schimperiana and T. glaucescens; typification of other synonyms of T. schimperiana and of T. avicennioides