United States’ biggest gasoline pipeline halted after cyber-attack