divxtotal valencia population