Characterisation of the butyrate production pathway in probiotic MIYAIRI588 by a combined whole genome-proteome approach