Estimating Car Insurance Premia: a Case Study in High-Dimensional Data Inference