Modelling ambitious climate mitigation pathways for Australia's built environment