Statistical distribution of building lot depth: Theoretical and empirical investigation of downtown districts in Tokyo. (October 2019)