当采用插入式振捣器振捣混凝土时,振捣器插入下层混凝土内的深度应不小于()。