Totally geodesic embeddings of 7-manifolds in positively curved 13-manifolds