Question: How to efficiently get the k bigger elements of a list?