Rewritten optimality bit (again), added a bit about particle independence, and rewritten appendixes.