Thermodynamic Formalism for Iterated Function Systems