An analogue but digitally controlled programmable audio mixer