Optimal output-feedback control and separation principle for Markov jump linear systems modeling wireless networked control scenarios