Final submission

This is the submitted version of the paper on February 18th, 2013