Norway halts further oil exploration in Arctic