Mathematical modelling of bioreactors in the MELiSSA regenerative life support system