Samsung to build $17 billion chip plant in Texas