Quantitative causality, causality-guided scientific discovery, and causal machine learning