为什么板块相互碰撞会形成海沟?请具体一点,