K2-Treaps: Range Top-k Queries in Compact Space