What is the area of a right triangle with sides of 5, 12, and 13?