Vietnam celebrates Dien Bien Phu victory