Differentiated products, increasing returns to scale and heterogeneous firms in a CGE model of the Australian coal sector