A startup using AI to disrupt the car insurance business has hired a Progressive veteran