Is upgrading Postgres from 12 to 13 worth it?