San Francisco thinks AI can save the whales. Here’s how