China’s manned submersible Shenhai Yongshi finishes four-month deep sea expedition