Choosing the right height for house roofs