The anatomy of Boris type solvers and the Lie operator formalism for deriving large time-step magnetic field integrators