LEO satellite mobile channels: modeling by time sequences of Finite State Markov Channels