If shared_buffers is always 2 * max_connections, what is the point of setting it in the config file?