PET imaging of the vesicular acetylcholine transporter