Mike is three times as old as his little sister, Mary. In 4 years, he will be twice as old as Mary. How old is Mary?