A Calculus of Looping Sequences for Modelling Microbiological Systems