Redundancy, Isotropy, and Intrinsic Dimensionality of Prompt-based Text Embeddings