Applications of the discontinuous Galerkin method to kinetic models for semiconductor devices