Development of omics-based protocols for the microbiological characterization of multi-strain formulations marketed as probiotics: the case of VSL#3