Simulation of oxygen transfer in stented arteries and correlation with in-stent restenosis