High-throughput metabolomics for the design and validation of a diauxic shift model - npj Systems Biology and Applications