Positivity for cluster algebras from surfaces