Towards rational design of redox-stratified biofilms