Do two-phase biogas plants separate anaerobic digestion phases? - a mathematical model for the distribution of anaerobic digestion phases among reactor stages.