Sheath and boundary conditions for plasma simulations of a Hall thruster discharge with magnetic lenses