Many-body theory of positron-atom interactions