Modeling of anaerobic formate kinetics in mixed biofilm culture using dynamic membrane mass spectrometric measurement