Population prediction and resource allocation in megacities from the optimum population perspective: A case study of Beijing, Shanghai, Guangzhou and Shenzhen