A tool to shrink and sanitize PostgreSQL databases