A mathematical model of serotype replacement in pneumococcal carriage following vaccination