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