New SPEC tool to ID most energy-efficient servers