The creators of Siri sold their new company to Samsung