Simple process for lithium extraction from α-spodumene with potassium fluoride: modeling and optimization