PaStiX: A High-Performance Parallel Direct Solver for Sparse Symmetric Definite Systems