Gross Domestic Product for the Third Quarter of 2012