Nested sampling methods