Mobility of O+ in He and interaction potential of HeO+.