Gravar-mail: A biomathematical model of immune response and barrier function in mice with pneumococcal lung infection