马里几内亚海沟怎么形成的