An optimization procedure based on thermal discomfort minimization to support the design of comfortable Net Zero Energy Buildings