Scaling PostgreSQL to power 800 million ChatGPT users