A reachable throughput upper bound for live and safe free choice nets via T-invariants