In defense of NFL ties