Cleaned up some errors / unclear parts of the abstract. Close to the final version