The use of ion implantation for micromachining GaAs for sensor applications