Samsung considers Austin for $17 billion chip plant - documents