Real-time optimization of a double-skin façade based on lumped modeling and occupant preference