Finding angles in right triangles