Backward Filtering Forward Guiding for Finite-State Space Models with Expectation Propagation