Linear–quadratic stochastic leader–follower differential games for Markov jump-diffusion models. (January 2023)