The probability flow ODE is provably fast