Convergence analysis for Backward-Euler and mixed discontinuous Galerkin methods for the Vlasov-Poisson system