Will a city with a population of over 1 million successfully use a quadratic funding mechanism to allocate public funds for infrastructure projects before 2031?