Sharp probability estimates for Shor's order-finding algorithm