How much more efficient are superconducting mining rigs?