Inference in linear-Gaussian SSMs