A universal property of the higher category of spans and finite gauge theory as an extended TFT