Mathematical modelling of antibiotic release from medical implants to counteract biofilm formation