Basic theory of measure-based models