Why the carriage and usage of hand gas lighters are provided on board oil and chemical tankers? What is used for igniting a fire?