One number exceeds another number by 5. Two times the smaller number diminished by the greater number equals 9. What is the larger number?