Judge in Texas says Austin mask mandate can stay in place for now