A Biomathematical Model of Pneumococcal Lung Infection and Antibiotic Treatment in Mice