The Priority R-Tree: A Practically Efficient and Worst-Case Optimal R-Tree