AF Embeddability of Crossed Products of AT Algebras by the Integers and Its Application