Extending isometric embeddings