Quantitative functional brain imaging with Positron Emission Tomography and irreversible tracers