Heavy-tailed distributions for building stock data. (September 2019)