Leave-k-out diagnostics in state space models