updated references, formatting to acm style, minor textual edits