On the principles and practice of warming and ventilating buildings