Will a city with a population of over 1 million people publicly credit the use of high-resolution satellite imagery in reducing traffic congestion in a specific area before 2031?