What is the definite integral of 2 from 1 to 3?