Mexico: three workers dead in gas pipeline accident