Towards PET imaging of the dynamic phenotypes of microglia