Least cost, utility scale abatement from Australia's NEM (National Electricity Market). Part 1: Problem formulation and modelling