Coupling dissolved oxygen microsensors measurements and heterogeneous respirometry for monitoring and modeling microbial activity within sulfide-oxidizing biofilms