How Hall thrusters work (and why we can't simulate them)