High-performance (Hg, Re)Ba2CaCu2Oy grain-boundary Josephson junctions and dc superconducting quantum interference devices