Basement Geology, Groundwater, Mineral Resources, and Mining-Related Environmental Problems in Eastern Africa