Kentucky’s Mammoth Cave system, already world’s largest, grows by 6 miles