Bucket-based priority queues for A* and related bounded-suboptimal and anytime search algorithms: Theoretical and practical advancements