This paper is formatted as a short technical report suitable for an academic or professional IT setting.