Pricing schemes for energy-efficient HPC systems: Design and exploration