Oxygen microprofiles of trickling filter biofilms