By definition, a right triangle must contain one angle that has what precise measurement?