It takes Jonas 7 1/4 minutes to run the mile. It takes Mario 8 5/12 to run the mile. How much faster is Jonas than Mario?

5/6 minute
1 1/3 minutes
1 1/6 minutes
1 1/2 minutes