Final edits: negative visiblity, path sensitivity, loops, and acknowledgements.
Updated acknowledgements and pdf file.