Shor’s factoring algorithm