A knowledge-based system for energy-efficient building design