'Shazam for whales' uses AI to track sounds heard in Mariana Trench