Using Forwards-Backwards Models to Approximate MDP Homomorphisms