Research on concrete structure defect repair based on three-dimensional printing