What is the solution to the proportion x/2 = 5/15?