Theoretically and Practically Efficient Parallel Nucleus Decomposition