Gulf of Mexico platform fire kills four people