add insert, extract and increase_priority to binary heap