Homo erectus at Trinil on Java used shells for tool production and engraving