Tolerance geometry: Euclid's first postulate for points and lines with extension