Kinetic simulations of a cylindrical Hall thruster