Theory of interacting donor electrons in the Anderson-localized regime of semiconductors