Skild AI, which is building general-purpose robotic software, just raised a $1.4 billion funding round led by SoftBank.