cuantos habitantes tiene arauca