We are travelling up to Scotland on Sunday and our first port of call is Edinburgh, for the day. Any suggestions on things to do for a 12 and 13 year old?