Characteristic ideals and Iwasawa theory