Comparative Study on Mechanical Properties of Sealing Grease Composed of Different Base Oils for Shield Tunnel