The cost of LEED v4