Measuring the decline of a Marshallian industrial district: the Birmingham jewellery quarter