Modeling aluminum–silicon chemistries and application to Australian acidic playa lakes as analogues for Mars