A mathematical approach to the design of sulphate reducing gas-lift reactors