progressive insurance's tripsense monitors driving patters of the people who purchase the related insurance policy. This lowers insurance costs because