SysML Executable Model of an Energy Efficient House and Trade-Off Analysis