A Markovian Model for TCP over ATM