Alderson’s General Theory of Marketing: A Formalization