Non-invasive quantification of cerebral blood flow for rats by microPET imaging of 15O labelled water: the application of a cardiac time–activity curve for the tracer arterial input function