The mineralogy of K-richterite-bearing lamproites