Federal judge overturns Texas marriage amendment