How is the end of the mining boom good news for east coast property?