Antarctic paleolake sediments and the search for extinct life on Mars