Texas judge OKs ban on funding to Planned Parenthood