Update README for description and key assumptions