17-year-old girl has leg amputated after 'horrific shark attack' at North Carolina beach