Asymptotic optimality of the SPRT for the detection of Markov signals