Is it ok to give gripe water to a 9 month old baby if the baby is teething, cranky and have digestion problem?