Mammoth Hot Springs Hotel to open July 1 in Yellowstone