Added case study for BinomialHeaps