priority_queue: improve documentation (#19)