Mathematical Analysis of Born–Oppenheimer Approximations