Modelling and state estimation of a batch bioreactor