Trace-Driven Steady-State Probability Estimation in FSMs with Application to Power Estimation