Music : what groups irish music did stanley kubrick use for the barry lyndon soundtrack