Chiến dịch lịch sử Điện Biên Phủ diễn ra trong bao nhiêu ngày?