Edited Karthik's abstract + minor formatting