Microsoft Corp.’s venture arm, M12, just announced it’s leading an $11 million Series A funding round for Nautilus Labs, a New York startup that uses artificial intelligence for fuel efficiency on ships.