Paper with description of Kayenta model theory