Does Edinburgh's Royal Mile need 72 gift shops?