Modeling and simulation of the plasma discharge in an electron cyclotron resonance thruster Supervised Theses