Iwasawa main conjecture for the Carlitz cyclotomic extension and applications