Water and partial melting of Earth’s mantle