Optimal Parallel Algorithms in the Binary-Forking Model