The production efficiency of O+(²P) ions by auroral electron impact ionization