edinburgh is part of scotland