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