User-friendly mathematical model for the design of sulfate reducing H2/CO2 fed bioreactors