Text this: Mathematical modelling of the transmission dynamics of contagious bovine pleuropneumonia reveals minimal target profiles for improved vaccines and diagnostic assays