Edited abstract for readability.