point3: made min() and max() const