Green Building Certification A market-based mechanism to enhance cost-effectiveness through certification and trading of energy savings