An Approximate Markovian Model for TCP over ATM