Indoor thermal stratification and its statistical distribution