How do you solve the right triangle ABC given a=5, b=12?