Mathematical models to evaluate the impact of increasing serotype coverage in pneumococcal conjugate vaccines