Electrical isolation of GaN by ion implantation damage: Experiment and model