Cluster algebras II: Finite type classification