The Markov chain model of RED active queuing management algorithm