The Theory of Ultrafilters