Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming