the mountain under Edinburgh castle