Text this: Control design for markov chains under safety constraints , a convex approach