(Hopefully) final revision of paper before IFL2013 submission.