Three oil workers sue Shell over Gulf of Mexico platform fire