In the commercial electrochemical process of aluminium extraction, the electrolyte used is ________.