混凝土工程要振捣多长时间才能施工