Updating README.md with examples of ProtocolModel