Analysis of a Miniature Radio Frequency Ion Thruster with an Inductively Coupled Plasma Source