Text this: Key Technologies for Safety Construction of Mined Subsea Tunnels