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