Sức mạnh của bộ đội chủ lực, tác chiến hiệp đồng trong Chiến dịch Điện Biên Phủ và vận dụng xây dựng quân đoàn chủ lực “tinh, gọn, mạnh”