What Is a Mansard Roof? Design, Cost, and Benefits