오토레이아웃의 제약(constraint)이 내부적으로 어떤 식(공식)으로 표현되는지 설명해 주세요.