Updated abstract and sketched intro