Backward Filtering Forward Guiding For Finite-State Space Models With Expectation Propagation