板块构造学说认为,海沟形成在