Cluster algebras and discrete integrable systems