Theoretical aspects of antibiotic diffusion into microbial biofilms