Derelict Edinburgh? the decline of the housing stock in the Old Town