Charles Lindsay, programa AIR del instituto SETI