Building height distribution under zoning regulations: Theoretical derivation based on allometric scaling analysis and application to harmonise building heights. (November 2021)