AGB stars in the SMC: evolution and dust properties based on Spitzer observations