Ric Battellino: Mining booms and the Australian economy