Mathematical models for the trickling filter process