Economist: Austin's population to double by 2040