Smart telescope startups vie to fix astronomy’s satellite challenge