what's the difference between `nginx.proxy.options` and `nginx.server.options`?