Automated biological sulphate reduction: a review on mathematical models, monitoring and bioprocess control