Models of non-well-founded sets via an indexed final coalgebra theorem