Why Building a Binary Heap Takes Linear Time