Brecht and music: theory and practice