PostgreSQL provides the timestamp type in two variants - with time zone and without time zone. How to decide which one to use?