Pay-As-You-Drive Insurance: Modeling and Implications