PET: History and technology