Optimizing Performance Issues in Postgres Procedures: A Step-by-Step Guide to Batching Updates and More