涵洞伸缩缝整修作业使用的机具主要包括( )。