Hillsborough schools OK lawsuit against county over teacher pay tax