Australia forecasts record mining, energy export sales for 2023