Theory of strongly correlated electron systems: Hubbard–Anderson models from an exact Hamiltonian, and perturbation theory near the atomic limit within a nonorthogonal basis set