Fishing industry kills about 80 million sharks a year despite restrictions