An investigation of doping of SnO2 by ion implantation and application of ion-implanted films as gas sensors