Optimal Purely Functional Priority Queues