Selective prediction-set models with coverage guarantees