Global industrial energy efficiency benchmark : an energy policy tool-working paper