Empirical process theory