Gloucester residents relieved to know GRL's Rocky Hill mine won't proceed