Design and verification modelling on sulphate reduction in gas-lift reactors