Text this: Optimized algorithm for value iteration based on topological sequence backups