Analytical Modeling for an Ion-Implanted Gallium Nitride MESFET