Satlyt, founded by a former Google and SpaceX product manager, raises $8M to run AI on satellites