who was the producer of dark side of the moon