Non-thermal O(1D) produced by dissociative recombination of O2+: A theoretical model and observational results