Update README.md

Added sections for Variable Definition and Constraint Definition Files