Comparison of time splitting and backsubstitution methods for integrating Vlasov's equation with magnetic fields