Farasha: A Provable Permutation-based Parallelizable PRF