How 'computational sustainability' uses AI to protect the planet: 3 use cases