Postgres VACUUM: How Dead Tuples Are Cleaned Up