Jose runs 12.5 miles each day. He wants to run at least 150 miles before the end of the summer. How many days will he run to reach his goal?