State Inference And Bayesian Identification of Non-Linear State-Space Models