Watch as Edinburgh's Christmas tree lights are turned on to mark the beginning of the festive season.
