Shark teeth 'blades' were likely used for ritual or warfare in Indonesia 7,000 years ago