What are the symptoms of Graves’ disease in children and how is it diagnosed?