Colombian GDP grows 3.1% in 3rd quarter