Progressive Bayes: a new framework for nonlinear state estimation | Synapse