马里亚纳海沟的深度是怎么测出来的