The precedence-constrained asymmetric traveling salesman polytope