Design-based conformal prediction