Including oxygen enhancement ratio in ion beam treatment planning: Model implementation and experimental verification