An Efficient Route for the Preparation of a 21-Fluoro Progestin-16α,17α-Dioxolane, a High-Affinity Ligand for PET Imaging of the Progesterone Receptor