Development of a formal system for representing behaviour-change theories