Added high-level design section to algorithm details