Property-driven State-Space Coarsening for Continuous Time Markov Chains