Added new version of camera-ready paper: updated template, added a couple of phrases to explain the need for fast state filtering, fixed some typos