High-Dimensional Wide Gap $k$-Means Versus Clustering Axioms