A realistic HFACE potential function for Kr2 (X1Σg+) from spectroscopic and thermophysical data