Negative frequency-dependent selection (NFDS) model to describe vaccine type replacement in Streptococcus pneumoniae populations