real gross domestic product for the third quarter of 2012