Triangle congruence and angle measurement