Synthesis of 4-phenylpiperidines by tandem Wittig olefination–aza-Wittig rearrangement of 2-benzoylaziridines