How much energy is used by buildings in their whole life cycle, including construction, operation and demolition (stated as percentage of the overall energy used in industrialized countries)?