what was the result of the battle of dienbien