Expanded README with high-level specifications.