Comparing the F2-layer model of IRI with observations at Ibadan