On attitude representations for optimization-based Bayesian smoothing