Water in Earth's mantle