Stability and performance analysis of a MAC protocol for a time-code air interface in LEO mobile satellite systems