The method of recursive aim inequalities in adaptive control theory