A linear programming approach to the steady-state analysis of Markov processes