Colombia’s war victims: the numbers