Experimental investigation and numerical simulation of the energy distribution of positive ions in the negative glow of an oxygen discharge