Make Docker host port configurable
