minor style improvements: inline article images, new typeset.