cuantos habitantes tiene clavijo