Colombia economy grew 4% in 2012: DANE