Polymorphism of the phosphoserine phosphatase gene in Streptococcus thermophilus and its potential use for typing and monitoring of population diversity.