How can electrolysis be used to extract sodium from sodium chloride ?