Auto-tune effective_cache size to be 4x shared buffers