Texas: How is the franchise tax rate determined?