2012 was hottest year on record in US