The deepest-diving submarine is a monumental feat of engineering.