High incomes and personal taxation in a developing economy: Colombia 1993-2010