Whitehead's point-free geometry — a geometry whose primitive ontological notion is region rather than point