毛里求斯海沟是怎么形成的