Trong cuộc kháng chiến chống thực dân Pháp (1945-1954), chiến dịch nào sau đây là trận tiến công qui mô lớn đầu tiên của bộ đội chủ lực Việt Nam?