Miniselect: Practical and Generic Selection Algorithms