Workers plug Alaska North Slope oil well that leaked gas