Limit theorems for weighted samples with applications to sequential Monte Carlo methods