To Find Intelligent ETs, First Look for Signs of Mining in Distant Asteroid Belts