Mathematical modelling of therapies targeted at bacterial quorum sensing.