Partial isometries and extensions of AT-algebras