A binary heap, implemented in python