Cox, M., van de Laar, T., & de Vries, B. A factor graph approach to automated design of Bayesian signal processing algorithms [Computer software]