A more efficient implementation of Shor's algorithm