Richard and Teo have a combined age of 37. Richard is 4 years older than twice​ Teo's age. How old are Richard and​ Teo?