befolkningsmängd