austin bars police department from selling its old guns to the public