Isometric embeddings of infinite-dimensional Grassmannians