Input design for Bayesian identification of non-linear state-space models