Population, immigration, and the Australian economy