The system forsterite-diopside-akermanite-leucite and its significance in the origin of potassium-rich mafic and ultramafic volcanic rocks