A Markovian model for TCP over ATM