A list of coal companies expected to be ditched by Norway's oil fund as a result of its new divestment policy has been published.