Scalable, Parallel Best-First Search for Optimal Sequential Planning