Khái niệm “Chuyên chính của giai cấp công nhân” được sử dụng lần đầu tiên trong tác phẩm nào?