Phylogeny and biogeography of African Biomphalaria (Gastropoda: Planorbidae), with emphasis on endemic species of the great East African lakes