A normal form approach to the theory of nonlinear betatronic motion