Process algebra models in biology: the case of phagocytosis