Fireworks above Edinburgh Castle during the city's festival season