The provision of primary frequency control in the Australian National Electricity Market