Solving for unknown angles in a right triangle