Physics, simulation and diagnostics of Hall effect thrusters