Path Monotonicity and Truthful Implementation