Lemonade uses AI and machine learning to build a better, cheaper insurance model. Its loss ratio has come down significantly.